中英
1
programming logic proof中文是什么意思
- 程序設(shè)計(jì)邏輯證明
- logic n. 1.邏輯，理論學(xué)。 2.推理[方法]；邏輯性，條理 ...
- proof n. 1.證明；證據(jù)；【法律】證件；【法律】(口頭或書面 ...
- logic of programming 程序設(shè)計(jì)邏輯
- logic programming 邏輯編程; 邏輯程式設(shè)計(jì) [邏輯程序設(shè)計(jì); 邏輯程序設(shè)計(jì)
- programming in logic prolog語言; 邏輯編程; 邏輯程序設(shè)計(jì)語言
- programming logic 程序邏輯; 程序設(shè)計(jì)邏輯
- programming correctness proof 程序正確性證明
- constraint logic programming 邏輯程序設(shè)計(jì)
- distributed logic programming，dlp 分散式邏輯程式設(shè)計(jì)
- inductive logic programming 歸納邏輯程序設(shè)計(jì)
- logic programming and expert systems 邏輯程序設(shè)計(jì)與專家系統(tǒng)
- logic programming language 邏輯編程語言; 邏輯程序設(shè)計(jì)語言
- logic programming machine 邏輯程序設(shè)計(jì)機(jī)
- parallel programming in logic parlog語言; 并行邏輯程序設(shè)計(jì)語言
- programming logic basis 程序邏輯基礎(chǔ)
- programming logic chart 程序設(shè)計(jì)邏輯流程圖
- programming logic manual 程序設(shè)計(jì)邏輯手冊(cè)
- programming logic specification 程序設(shè)計(jì)邏輯規(guī)范書
- multiprogramming logic proof 多道程序設(shè)計(jì)邏輯證明
- programming 編程序的; 編程序規(guī)劃計(jì)劃; 程式設(shè)計(jì)，計(jì)畫擬編; 程式撰寫; 程序編寫; 程序化; 程序控制的; 程序設(shè)計(jì),程序編制; 程序設(shè)計(jì)，編制程序; 規(guī)劃；程序設(shè)計(jì)，程序編制; 規(guī)劃；設(shè)計(jì)方案，編制程序；程序設(shè)計(jì); 和諧編制; 計(jì)算機(jī)程序設(shè)計(jì); 節(jié)目制作; 施工時(shí)間安排；工程程序；工程進(jìn)度; 數(shù)控編程實(shí)習(xí)室; 用語; 張曉欣 上海交通大學(xué) 城市規(guī)劃 本科
- -proof 后綴 表示“耐，防(等)”：acid-proof 耐酸的。Air-proof 密封的。 Dust-proof 防塵的。 Fire-proof 防火的。 Radar-proof 反雷達(dá)的。 Slander-proof 聽了壞話不會(huì)生氣的。 Sound-proof 隔音的。 Water-proof 防水的。
- a proof 防原子的
- a-proof 防原子的
- in proof of 作...的證據(jù)
- proof n. 1.證明；證據(jù)；【法律】證件；【法律】(口頭或書面)證詞，證言。 2.檢驗(yàn)，考驗(yàn)；驗(yàn)算；檢定的品質(zhì)[強(qiáng)度等]。 3.試管。 4.【印刷】校樣，印樣。 5.(酒精的)標(biāo)準(zhǔn)強(qiáng)度。 6.(甲胄等的)耐力，堅(jiān)牢強(qiáng)度，不貫穿性。 7.【攝影】樣片；樣張。 8.[Scot.] 審問。 9.【數(shù)學(xué)】證，證明，證法。 The proof of the pudding is in the eating. 布丁好壞一吃即知；空談不如實(shí)驗(yàn)。 Here is proof positive. 有確實(shí)證據(jù)。 a foul proof 錯(cuò)字很多的校樣。 a foundry proof (壓型前的)清樣。 an artist's [engraver's] proof 版面印樣。 stand a severe proof 經(jīng)受嚴(yán)格的考驗(yàn)。 afford proof of 提供證據(jù)。 armour of proof 戳不通的堅(jiān)牢的鎧甲。 below proof 不合格。 bring [put] to the proof 試，試驗(yàn)。 have proof of shot 能防彈，能避彈。 in proof of 作…的證據(jù)。 proof positive of his intention 他的企圖的確證。 read the proof 校對(duì)。 adj. 1.試驗(yàn)過的，有保證的；(酒)合標(biāo)準(zhǔn)的，規(guī)定的。 2.校樣的。 3.(子彈等)不入的，耐…的，防…的。 a proof coin 標(biāo)準(zhǔn)貨幣，制錢。 a proof sample 樣品。 proof against the severest weather 經(jīng)得起任何酷烈天氣的。 proof against the pricks of all temptations 不為任何誘惑所動(dòng)的。 vt. 使經(jīng)得住，使(布等)耐久[不漏水(等)]。 proofed cloth 防水布。 adj. -less 無證據(jù)的。
- 推薦英語閱讀
programming logic proof的中文翻譯，programming logic proof是什么意思，怎么用漢語翻譯programming logic proof，programming logic proof的中文意思，programming logic proof的中文，programming logic proof in Chinese，programming logic proof的中文，programming logic proof怎么讀，發(fā)音，例句，用法和解釋由查查在線詞典提供，版權(quán)所有違者必究。
關(guān)于我們
